Parity Proofs of the Bell-Kochen-Specker Theorem Based on the 600-cell
نویسندگان
چکیده
منابع مشابه
Kochen–Specker Theorem: Two Geometric Proofs
We present two geometric proofs for KochenSpecker’s theorem [S. Kochen, E. P. Specker: The problem of hidden variables in quantum mechanics, J. Math. Mech. 17 (1967), 5987]. A quite similar argument has been used by Cooke, Keane, Moran [R. Cooke, M. Keane, W. Moran: An elementary proof of Gleason’s theorem, Math. Proc. Camb. Phil. Soc. 98 (1985), 117128], and by Kalmbach in her book to derive G...
متن کاملMinimal Bell-Kochen-Specker proofs with POVMs on qubits
There are many different definitions of what a Bell-Kochen-Specker proof with POVMs might be. Here we present and discuss the minimal proof on qubits for three of these definitions and show that they are indeed minimal. Einstein, Podolsky and Rosen argued in their 1935 paper that quantum mechanics was not complete [1]. Their argument is based on the fact that there seems to be some weird correl...
متن کاملAn obstruction based approach to the Kochen - Specker theorem
In [1] it was shown that the Kochen Specker theorem can be written in terms of the non-existence of global elements of a certain varying set over the category W of boolean subalgebras of projection operators on some Hilbert space H. In this paper, we show how obstructions to the construction of such global elements arise, and how this provides a new way of looking at proofs of the theorem.
متن کاملKochen-Specker theorem for eight-dimensional space
A Kochen-Specker contradiction is produced with 36 vectors in a real eight-dimensional Hilbert space. These vectors can be combined into 30 distinct projection operators ( 14 of rank 2, and 16 of rank 1). A state-specific variant of this contradiction requires only 13 vectors, a remarkably low number for eight dimensions. The Kochen-Specker theorem [ l] asserts that, in a Hilbert space with a f...
متن کاملKochen-Specker theorem for von Neumann algebras
The Kochen-Specker theorem has been discussed intensely ever since its original proof in 1967. It is one of the central no-go theorems of quantum theory, showing the non-existence of a certain kind of hidden states models. In this paper, we first offer a new, non-combinatorial proof for quantum systems with a type In factor as algebra of observables, including I∞. Afterwards, we give a proof of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Foundations of Physics
سال: 2011
ISSN: 0015-9018,1572-9516
DOI: 10.1007/s10701-011-9534-7